退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于无冲突集的论证语义的强等价
Sarah Alice Gaggl; Stefan Woltran;
机译:关于强否定的答案集语义的强等价定理
机译:约束论证框架的无冲突和容忍语义
机译:论逻辑程序设计语义与论证语义之间的对等
机译:评估语义对等以增进对国际文件的理解:语义网络分析在《世界人权宣言》的多语言翻译中的应用。
机译:临床术语第3版(阅读代码)中基于语义的概念差异检索和对等检测。
机译:基于无理集的答案集语义下程序等效性的替代特征
机译:模糊集作为随机集的等价类。 (重新公布新的可用性信息)。
机译:基于程序语义和相关规范表示的层次结构计算程序等效性
机译:基于程序语义和相关规范表示层次的计算程序等效性
机译:根据堆栈或基于等价语义的旧版语义编译用旧版源代码编写的应用程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。